DiscoverThe Thesis Review[41] Talia Ringer - Proof Repair
[41] Talia Ringer - Proof Repair

[41] Talia Ringer - Proof Repair

Update: 2022-03-30
Share

Description

Talia Ringer is an Assistant Professor with the Programming Languages, Formal Methods, and Software Engineering group at University of Illinois Urbana-Champaign. Her research focuses on formal verification and proof engineering technologies.

Talia's PhD thesis is titled "Proof Repair", which she completed in 2021 at the University of Washington.

We discuss software verification and her PhD work on proof repair for maintaining verified systems, and discuss the intersection of machine learning with her work.

- Episode notes: https://cs.nyu.edu/~welleck/episode41.html

- Follow the Thesis Review (@thesisreview) and Sean Welleck (@wellecks) on Twitter

- Find out more info about the show at https://cs.nyu.edu/~welleck/podcast.html

- Support The Thesis Review at www.patreon.com/thesisreview or www.buymeacoffee.com/thesisreview
Comments 
In Channel
loading
00:00
00:00
1.0x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

[41] Talia Ringer - Proof Repair

[41] Talia Ringer - Proof Repair

Sean Welleck